Safety - critical design of the Generic Driving Actuator - A hybrid approach
نویسنده
چکیده
The software of the GDA needs to be correct under all circumstances to guarantee its safety. Therefore the software is designed and verified using formal methods. First the requirements of the software are specified. Based on these requirements a software model is built in the proces-algebraic language μCRL. The requirements are then converted to modal logic, which can be verified against the software model.
منابع مشابه
An Intelligent Control Strategy in a Parallel Hybrid Vehicle
This paper presents a design procedure for an adaptive power management control strategy based on a driving cycle recognition algorithm. The design goal of the control strategy is to minimize fuel consumption and engine-out NOx, HC and CO emissions on a set of diversified driving schedules. Seven facility-specific drive cycles are considered to represent different driving scenarios. For each fa...
متن کاملA Simple Approach for Determination of Actuator and Sensor Locations in Smart Structures Subjected To the Dynamic Loads
The present work demonstrates the successful application of a simple active vibration control procedure based on structural dynamics. Based on mathematical and structural dynamics’ theories, the appropriate locations of sensor and actuator locations of the smart structure are predicted. Also, the optimum value of actuator force which controls the structural vibrations as quickly as it is possib...
متن کاملDriving/Regeneration and Stability Enhancement of a 4WD Hybrid Vehicles Using Multi-Stage Fuzzy Controller
In front wheels driven vehicles, fuel economy can be obtained by summing torques applied to rear wheels. On the other hand, unequal torques applied to rear wheels provides enhanced safety. In this paper, a model with seven degrees of freedom is considered for the vehicle body. Thereafter, power-train subsystems are modeled. Considering an electrical machine on each rear wheel, a fuzzy controlle...
متن کاملA new virtual leader-following consensus protocol to internal and string stability analysis of longitudinal platoon of vehicles with generic network topology under communication and parasitic delays
In this paper, a new virtual leader following consensus protocol is introduced to perform the internal and string stability analysis of longitudinal platoon of vehicles under generic network topology. In all previous studies on multi-agent systems with generic network topology, the control parameters are strictly dependent on eigenvalues of network matrices (adjacency or Laplacian). Since some ...
متن کاملDirect adaptive fuzzy control of flexible-joint robots including actuator dynamics using particle swarm optimization
In this paper a novel direct adaptive fuzzy system is proposed to control flexible-joints robot including actuator dynamics. The design includes two interior loops: the inner loop controls the motor position using proposed approach while the outer loop controls the joint angle of the robot using a PID control law. One novelty of this paper is the use of a PSO algorithm for optimizing the contro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007